mu (x, mu (y, z)) == mu (mu (x, y), z)